{ pkgs ? import <nixpkgs> {}}:
pkgs.mkShell {
  buildInputs = [
    pkgs.hello
    pkgs.glibc_multi
    pkgs.gcc-arm-embedded
  ];
}
